Nuprl Definition : l-all
0,22
postcript
pdf
x
L
.
P
(
x
) == reduce(
x
,
p
.
P
(
x
) &
p
;True;
L
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
P
&
Q
,
True
FDL editor aliases
l-all
origin
x
L.P(x) == reduce(
x,p. P(x) & p;True;L) xL.P(x) == reduce(x,p. P(x) & p;True;L)